gdkborder: remove unneeded definition
authorWilliam Hua <william.hua@canonical.com>
Wed, 3 Feb 2016 15:20:30 +0000 (10:20 -0500)
committerWilliam Hua <william.hua@canonical.com>
Wed, 3 Feb 2016 16:20:52 +0000 (11:20 -0500)
commit9b08853537ee26b207eb837795c312240ea99951
tree40886449c95118d629e9cd44af732b765d06f130
parent0bcd8603ebf861de29dfe3316c9f3c04d78f50f3
gdkborder: remove unneeded definition

This reverts 54fa65f544bef281640d18a4a725005f6199a956,
5190d010d95010a845715c719c3b85a75e0c513a, and
a6e4de28842002e7bfdf73def26c4c52d9f9126a.

https://bugzilla.gnome.org/show_bug.cgi?id=756579
docs/reference/gdk/gdk3-sections.txt
gdk/gdktypes.h